Search Results
A few billion lines of code later - experiences in commercializing a static checking tool
USENIX Security '15 - Under-Constrained Symbolic Execution: Correctness Checking for Real Code
Dawson Engler
USENIX Security '20 - Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code
USENIX ATC '13 - Redundant State Detection for Dynamic Symbolic Execution
Read a paper: Checking system rules using system-specific, programmer-written compiler extensions
Stanford University Retooled Static code analysis-Part Six
Stanford University Retooled Static code analysis-Part One
Stanford University Retooled Static code analysis-Part Four
Stanford Retooled Static source code analysis for software testing - Part Three
Stanford Retooled Static Source code analysis-Part Two
Read a paper: Bugs as deviant behavior
